En matemáticas, el programa de Langlands es una red de conjeturas influyentes y de gran alcance sobre las conexiones entre la teoría de números y la geometría. Propuesto por Robert Langlands,[1][2] busca relacionar los grupos de Galois en teoría de números algebraicos con las formas automórficas y la teoría de la representación de grupos algebraicos sobre grupos locales y anillos adélicos. Ampliamente visto como el proyecto más grande en la investigación matemática moderna, el programa de Langlands ha sido descrito por Edward Frenkel como "una especie de gran teoría unificada de las matemáticas".[3]